To the standard propositional modal system of provability logic constants are added to account for the arithmetical fixed points introduced by Bernardi-Montagna in [5]. With that interpretation in mind, a system LR of modal propositional logic is axiomatized, a modal completeness theorem is established for LR and, after that, a uniform arithmetical completeness theorem with respect to PA is obtained for LR.

Of laws in general -- Of laws directly derived from the nature of government -- Of the principles of the three kinds of government -- That the laws of education ought to be relative to the principles of government -- That the laws given by the legislator ought to be relative to the nature of government -- Consquences of the principles of different governments, with respect to the simplicity of civil and criminal laws, the form of judgements, and inflicting of (...) punishments -- Consquences of the different principles of the three governments, with respect to sumptuary laws, luxury, and the condition of women -- Of the corruption of the principles of the three governments -- Of the laws in the relation they bear to defensive force -- Of laws, in the relation they bear to offensive force. (shrink)

The US neutrino community gathered at the Workshop on the Intermediate Neutrino Program at Brookhaven National Laboratory February 4-6, 2015 to explore opportunities in neutrino physics over the next five to ten years. Scientists from particle, astroparticle and nuclear physics participated in the workshop. The workshop examined promising opportunities for neutrino physics in the intermediate term, including possible new small to mid-scale experiments, US contributions to large experiments, upgrades to existing experiments, R&D plans and theory. The workshop was organized into (...) two sets of parallel working group sessions, divided by physics topics and technology. Physics working groups covered topics on Sterile Neutrinos, Neutrino Mixing, Neutrino Interactions, Neutrino Properties and Astrophysical Neutrinos. Technology sessions were organized into Theory, Short-Baseline Accelerator Neutrinos, Reactor Neutrinos, Detector R&D and Source, Cyclotron and Meson Decay at Rest sessions.This report summarizes discussion and conclusions from the workshop. (shrink)

Background: Issues concerning legislation and regulation with respect to the role of nurses in euthanasia and physician-assisted suicide gave the Minister for Health reason to commission a study of the role of nurses in medical end-of-life decisions in hospitals, home care and nursing homes.Aim: This paper reports the findings of a study of the role of nurses in euthanasia and physician-assisted suicide, conducted as part of a study of the role of nurses in medical end-of-life decisions. The findings for hospitals, (...) home care and nursing homes are described and compared.Method: A questionnaire was sent to 1509 nurses, employed in 73 hospitals, 55 home care organisations and 63 nursing homes. 1179 responses were suitable for analysis. The questionnaire was pilot-tested among 106 nurses, with a response rate of 85%.Results: In 37.0% of cases, the nurse was the first person with whom patients discussed their request for euthanasia or physician-assisted suicide. Consultation between physicians and nurses during the decision-making process took place quite often in hospitals and nursing homes and less frequently in home care situations . In some cases , nurses administered the euthanatics.Conclusions: The results show substantial differences between the intramural sector and the extramural sector , which are probably linked to the organisational structure of the institutions. Consultation between physicians and nurses during the decision-making process needs improvement, particularly in home care. Some nurses had administered euthanatics, although this task is by law exclusively reserved to physicians. (shrink)

© 2016 Regents of the University of California.The Review summarizes much of particle physics and cosmology. Using data from previous editions, plus 3,062 new measurements from 721 papers, we list, evaluate, and average measured properties of gauge bosons and the recently discovered Higgs boson, leptons, quarks, mesons, and baryons. We summarize searches for hypothetical particles such as supersymmetric particles, heavy bosons, axions, dark photons, etc. All the particle properties and search limits are listed in Summary Tables. We also give numerous (...) tables, figures, formulae, and reviews of topics such as Higgs Boson Physics, Supersymmetry, Grand Unified Theories, Neutrino Mixing, Dark Energy, Dark Matter, Cosmology, Particle Detectors, Colliders, Probability and Statistics. Among the 117 reviews are many that are new or heavily revised, including those on Pentaquarks and Inflation. The complete Review is published online in a journal and on the website of the Particle Data Group. The printed PDG Book contains the Summary Tables and all review articles but no longer includes the detailed tables from the Particle Listings. A Booklet with the Summary Tables and abbreviated versions of some of the review articles is also available. (shrink)

La traduction de l'epistrophe grecque en conversio latine a pu laisser entendre une continuite entre le retour des philosophies grecques neoplatoniciennes et l'evenement religieux proprement chretien de la conversion. Le paradigme en serait le passage de Plotin a Augustin. Mais peut-on oublier que les grecques classiques n'ont pas d'ethique du repentir et que, sans ce rapport au temps de la faute, la constitution de soi n'a ni le meme sens ni le meme lieu? C'est le travail du Centre A.J. Festugiere (...) de Paris X-Nanterre sur les entrecroisements et reprises entre philosophie et religion qui est a l'origine des etudes rassemblees en cet ouvrage. Que nous voyions apparaitre aujourd'hui une nouvelle forme de repentir publique convie a mieux distinguer deux modeles de constitution de soi qui se reconnaissent en ce que l'accent porte tantot sur l'etre et tantot sur le temps. (shrink)